1.
Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPA...
by van Eekelen, Marko, Shkarav...
ISBN: 9783642153303
List Price: $72.00
2.
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Net...
by Van Eekelen, Marko, Geuvers...
ISBN: 9783642228629
List Price: $83.00
3.
Functional Programming and Parallel Graph Rewriting (International Computer Science Series)
by Plasmeijer, Rinus, Van Eeke...
ISBN: 9780201416633
List Price: $59.00